首页> 外文OA文献 >Characterizations of stable model semantics for logic programs with arbitrary constraint atoms

【2h】

Characterizations of stable model semantics for logic programs with arbitrary constraint atoms

机译：具有任意约束原子的逻辑程序的稳定模型语义表征

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Yi-dong Shen; Jia-huai You; Li-yan Yuan;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Characterizations of stable model semantics for logic programs with arbitrary constraint atoms [J] . YI-DONG SHEN, JIA-HUAI YOU, LI-YAN YUAN Theory and Practice of Logic Programming . 2009,第4期

机译：具有任意约束原子的逻辑程序的稳定模型语义表征
2. Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms [J] . Pontelli E., Son T. C., Tu P. H. The Journal of Artificial Intelligence Research . 2007,第5期

机译：具有任意抽象约束原子的逻辑程序的答案集
3. Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms [J] . Tran Cao Son, Enrico Pontelli, Phan Huy Tu The Journal of Artificial Intelligence Research . 2007,第0期

机译：具有任意抽象约束原子的逻辑程序的答案集
4. A Weil-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms [C] . Yisong Wang, Fangzhen Lin, Mingyi Zhang, IAAI-12;Innovative applications of artificial intelligence conference;AAAI conference on artificial intelligence;Symposium on educational advances in artificial intelligence;AAAI-12;EAAI-12 . 2012

机译：由Weil建立的具有任意抽象约束原子的基本逻辑程序的语义
5. Logic programming with stable models for constraint satisfaction. [D] . Padmanabhuni, Srinivas. 2000

机译：具有稳定模型的逻辑编程，可以满足约束条件。
6. Structure-activity relationships derived by machine learning: the use of atoms and their bond connectivities to predict mutagenicity by inductive logic programming. [O] . R D King, S H Muggleton, A Srinivasan, 1996

机译：通过机器学习得出的结构与活动的关系：通过归纳逻辑编程使用原子及其键连接性来预测诱变性。
7. Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms [O] . Shen, Yi-Dong, You, Jia-Huai, Yuan, Li-Yan 2009

机译：具有时滞的逻辑程序的稳定模型语义特征任意约束原子
8. Towards Constraint Satisfaction through Logic Programs and the Stable ModelSemantics [R] . Simons, P. 1997

机译：通过逻辑程序和稳定模型语义实现约束满足

Characterizations of stable model semantics for logic programs with arbitrary constraint atoms

著录项

引文网络

相似文献

相关主题

期刊订阅